модель Aristotle
Триумф формальной логики. Нейросеть нашла математическое доказательство, которое люди не замечали 30 лет
Aristotle вывел цепочку рассуждений, оставшуюся незамеченной людьми.
Бог из машины (буквально). Модель «Аристотель» показала проблески нечеловеческой логики на тестах по математике.
Harmonic тренирует искусственный интеллект на синтетических доказательствах и заставляет его говорить языком кода, чтобы потом доверить ему самолеты и деньги.